\begin{tabbing}
if ${\it nms}_{1}$ and ${\it nms}_{2}$ overlap then $x$ else $y$ fi
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$branch(l\_disjoint(MaName;${\it nms}_{1}$;${\it nms}_{2}$);\=TERMOF\{\=decidable\_\_l\_disjoint\_manames:ObjectId,\+\+
\\[0ex]1:l\}
\-\\[0ex](${\it nms}_{1}$
\\[0ex],${\it nms}_{2}$);$p$.$y$;$x$)
\-
\end{tabbing}